Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add distro tools install option #136

Open
wants to merge 5 commits into
base: main
Choose a base branch
from
Open

Add distro tools install option #136

wants to merge 5 commits into from
+9 −0

Conversation

SC426
Copy link

@SC426 SC426 commented Jan 8, 2025

No description provided.

@SC426 SC426 requested a review from cbouss January 8, 2025 16:46
schuylermartin45
schuylermartin45 approved these changes Jan 8, 2025
View reviewed changes
Copy link
Collaborator

@schuylermartin45 schuylermartin45 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I wouldn't worry about the failing infrastructure for a docs PR. Those are known issues.

@schuylermartin45
Copy link
Collaborator

@SC426 As an fyi, I have admin access to override, but I think I'm blocked on Charles' feedback.

SC426 and others added 2 commits January 8, 2025 10:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@schuylermartin45 schuylermartin45 schuylermartin45 approved these changes

@cbouss cbouss Awaiting requested review from cbouss

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@SC426 @schuylermartin45